Quantifier elimination for quasi-real closed fields
نویسندگان
چکیده
منابع مشابه
An Improved Algorithm for Quantifier Elimination Over Real Closed Fields
In this paper we give a new algorithm for quanti-er elimination in the rst order theory of real closed elds that improves the complexity of the best known algorithm for this problem till now. Unlike previously known algorithms 3, 25, 20] the combinatorial part of the complexity of this new algorithm is independent of the number of free variables. Moreover, under the assumption that each polynom...
متن کاملOverconvergent Real Closed Quantifier Elimination
Let K be the (real closed) field of Puiseux series in t over R endowed with the natural linear order. Then the elements of the formal power series rings R[[ξ1, . . . , ξn]] converge t-adically on [−t, t]n, and hence define functions [−t, t]n → K. Let L be the language of ordered fields, enriched with symbols for these functions. We show, in Corollary 3.17, that K is o-minimal in L. This result ...
متن کاملQuantifier Elimination on Real Closed Fields and Differential Equations
This paper surveys some recent applications of quantifier elimination on real closed fields in the context of differential equations. Although polynomial vector fields give rise to solutions involving the exponential and other transcendental functions in general, many questions can be settled within the real closed field without referring to the real exponential field. The technique of quantifi...
متن کاملQuantifier Elimination and Real Closed Ordered Fields with a Predicate for the Powers of Two
In this thesis we first review the model theory of quantifier elimination and investigate the logical relations among various quantifier elimination tests. In particular we prove the equivalence of two quantifier elimination tests for countable theories. Next we give a procedure for eliminating quantifiers for the theory of real closed ordered fields with a predicate for the powers of two. This...
متن کاملQuantifier Elimination for Tame Fields
In this paper, we show that the theory of tame fields of equal characteristic admits (relative) quantifier elimination in an appropriate language.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Comptes Rendus. Mathématique
سال: 2021
ISSN: 1778-3569
DOI: 10.5802/crmath.169